Compositional Design of Cyber-Physical Systems Using Contracts
نویسندگان
چکیده
Compositional Design of Cyber-Physical Systems Using Contracts
منابع مشابه
Compositional Verification of Architectural Models
This paper describes a design flow and supporting tools to significantly improve the design and verification of complex cyber-physical systems. We focus on system architecture models composed from libraries of components and complexity-reducing design patterns having formally verified properties. This allows new system designs to be developed rapidly using patterns that have been shown to reduc...
متن کاملTaming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems
Cyber-physical systems combine a cyber side (computing and networking) with a physical side (mechanical, electrical, and chemical processes). In many cases, the cyber component controls the physical side using sensors and actuators that observe the physical system and actuate the controls. Such systems present the biggest challenges as well as the biggest opportunities in several large industri...
متن کاملDesign Contracts for Cyber-Physical Systems: Making Timing Assumptions Explicit
Building Cyber-Physical Systems (CPS) involves several teams of engineers with different backgrounds. We focus on interactions between control engineers and embedded software engineers. Lack of rigorous methodologies for communication and interaction between the two groups has been recognized as an obstacle to the development of dependable and cost-effective CPS. We advocate the use of design c...
متن کاملTowards a Safe Compositional Real-Time Scheduling Theory for Cyber-Physical Systems
Modern cyber-physical systems are becoming increasingly complex and distributed. These trends are making it more and more difficult to ensure the timing guarantees of these systems: traditional approaches were developed for much simpler systems and are difficult to scale. As system sizes are growing further, designing future cyber-physical systems is going to be even more challenging. Compositi...
متن کاملA Modular Safety Assurance Method considering Multi-Aspect Contracts during Cyber Physical System Design
Designing safety-critical cyber physical systems (CPS) was and remains a challenging task. CPS engineers are supposed to design solutions that are easy to modify, reusable, satisfy certification authorities, meet safety goals, separate between concerns, etc. With these partly contradicting demands it sometimes is even impossible to find a viable CPS design. The idea using contract-based design ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2015